#include <clk.h>
#include <uart.h>
#include <stdio.h>

void kernel_main()
{
    init_clk();
    init_uart();
    printf("hello world!\r\n");
    printf("hello world!\r\n");
    while(1);
}